課程名稱 |
離散數學 Discrete Mathematics |
開課學期 |
100-2 |
授課對象 |
電機工程學系 |
授課教師 |
陳和麟 |
課號 |
EE2008 |
課程識別碼 |
901E21100 |
班次 |
02 |
學分 |
2 |
全/半年 |
半年 |
必/選修 |
必修 |
上課時間 |
星期一7,8(14:20~16:20) |
上課地點 |
電二102 |
備註 |
本課程以英語授課。 總人數上限:50人 |
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/1002discrete_math |
課程簡介影片 |
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
TOPICS
1 Formal Logic
– Propositional Logic
– Predicate Logic
2 Sets, Functions and Relations
– Definitions
– Basic Cryptography
– The Growth of Functions
– Equivalence and Partial Ordering
3 Formal Reasoning Methods
– Methematical Induction
– Methods of Proof
– Program Verification
4 Recurrence Relations
– Linear Recurrence Relations
– Generating Functions
5 Graphs
– Definitions
– Connectivity
– Coloring |
課程目標 |
本課程主要目的,在於教授資訊科學中重要的數學觀念、模型、以及邏輯思考推論方式,以奠定未來學習資訊科學中各種理論以及實務課程的基礎。
|
課程要求 |
Homework 20%
Midterm 40%
Final exam 40%
|
預期每週課後學習時數 |
|
Office Hours |
每週四 15:00~17:00 備註: by appointment only |
指定閱讀 |
|
參考書目 |
TEXTBOOK: DISCRETE MATHEMATICS AND ITS APPLICATIONS, 6TH EDITION, KENNETH H. ROSEN, MCGRAW-HILL |
評量方式 (僅供參考) |
|
|